meet-continuity on $l$-directed complete posets

نویسندگان

shuhua su

qingguo li

lankun guo

چکیده

in this paper, the definition of meet-continuity on $l$-directedcomplete posets (for short, $l$-dcpos) is introduced. as ageneralization of meet-continuity on crisp dcpos, meet-continuity on$l$-dcpos, based on the generalized scott topology, ischaracterized. in particular, it is shown that every continuous$l$-dcpo is meet-continuous and $l$-continuous retracts ofmeet-continuous $l$-dcpos are also meet-continuous. then, sometopological properties of meet-continuity on $l$-dcpos arediscussed. it is shown that meet-continuity on $l$-dcpos is atopological invariant with respect to the generalized scotttopology, and meet-continuity on $l$-dcpos is hereditary withrespect to generalized scott closed subsets.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Meet-continuity on $L$-directed Complete Posets

In this paper, the definition of meet-continuity on $L$-directedcomplete posets (for short, $L$-dcpos) is introduced. As ageneralization of meet-continuity on crisp dcpos, meet-continuity on$L$-dcpos, based on the generalized Scott topology, ischaracterized. In particular, it is shown that every continuous$L$-dcpo is meet-continuous and $L$-continuous retracts ofmeet-continuous $L$-dcpos are al...

متن کامل

Actions of a separately strict cpo-monoid on pointed directed complete posets

‎ In the present article‎, ‎we study some categorical properties of the category {$bf‎ Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $S$ which is‎ strict continuous in each component‎. ‎In particular‎, we show that this category is reflective and coreflective in the‎ category of $S$-cpo's‎, ‎find the free a...

متن کامل

Presenting locale pullback via directed complete posets

This paper shows how to describe the pullbacks of directed complete posets (dcpos) along geometric morphisms. This extends Joyal and Tierney’s original results on the pullbacks of suplattices. It is then shown how to treat every frame as a dcpo and so locale pullback is described in this way. Applications are given describing triquotient assignments in terms of internal dcpo maps, leading to pu...

متن کامل

Meet Precontinuous Posets

In this paper, we introduce the concept of meet precontinuous posets, a generalization of meet continuous lattices to posets. The main results are: (1) A poset P is meet precontinuous iff its normal completion is a meet continuous lattice iff a certain system γ(P ) which is, in the case of complete lattices, the lattice of all Scott-closed sets is a complete Heyting algebra; (2) A poset P is pr...

متن کامل

Chain-complete posets and directed sets with applications

Let a poset P be called chain-complete when every chain, including the empty chain, has a sup in P. Many authors have investigated properties of posets satisfying some sort of chain-completeness condition (see [,11, [-31, [6], I-71, [17], [,181, ['191, [,211, [,221), and used them in a variety of applications. In this paper we study the notion of chain-completeness and demonstrate its usefulnes...

متن کامل

actions of a separately strict cpo-monoid on pointed directed complete posets

‎ in the present article‎, ‎we study some categorical properties of the category {$bf‎ cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $s$ which is‎ strict continuous in each component‎. ‎in particular‎, we show that this category is reflective and coreflective in the‎ category of $s$-cpo's‎, ‎find the free a...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید


عنوان ژورنال:
iranian journal of fuzzy systems

ناشر: university of sistan and baluchestan

ISSN 1735-0654

دوره 10

شماره 5 2013

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023